function cleanup
diary('off');
end
